dsm(es;ASM;I;O;R;V;H)
== h-ordered(es;e.isl(I(e));H)
== c ((e:{e:E| isl(O(e))} . (R(e) < e))
== c & (e:{e:E| isl(O(e))} . outl(O(e)) = ASM(map(e'.outl(I(e'));H(R(e)))))) 

latex

---

clarification:

dsm(es;ASM;I;O;R;V;H)
== h-ordered(es;e.isl(I(e));H)
== c ((e:{e:es-E(es)| isl(O(e))} . es-causl(es; (R(e)); e))
== c & (e:{e:es-E(es)| isl(O(e))} . outl(O(e)) = ASM(map(e'.outl(I(e'));H(R(e))))  V)) 

latex

Definitions	A c B, h-ordered(es;e.P(e);H), P & Q, (e < e'), x:A. B(x), {x:A| B(x)} , E, b, isl(x), s = t, map(f;as), x.A(x), outl(x), f(a)
FDL editor aliases	dsm